#include <iostream>

using namespace std;
typedef unsigned long long BIG;

int main()
{
	BIG a,b,c,N = 1000;

	for (c=N/3; c<N; c++)
		for (b=1; b<c; b++)
			for (a=1; a<b; a++)
				if( a*a+b*b == c*c  && a+b+c==N)
					cout << a << ", " << b << ", " << c << " : " << a*b*c << endl;
	return 0;
}
